Dieser Tab zeigt den aktuellen und den vorherigen Zustand der Maschine. Der Zustand wird automatisch aktualisiert, wenn eine Operation ausgeführt wird (oder man im Verlauf zurückgeht). Mithilfe der Suchleiste am oberen Bildschirmrand ist es möglich, nach bestimmten Schlagworten (wie z.B. Operationen, Konstanten) zu filtern. Durch den Button neben der Suchleiste kann der Volltext der einzelnen Formeln angezeigt/versteckt werden. Die Elemente können durch Klicken auf die Spaltenüberschriften alphabetisch sortiert werden.